[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 257 50 122 0 0 41 0 40

N.S.

1 1.02 0.20 0.49 0.00 0.00 0.16 0.00 0.16

time (sec)

N/A 0.328 9.676 4.163 0.000 0.000 0.534 0.000 5.968

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 257 52 120 0 0 46 0 0

N.S.

1 1.02 0.21 0.48 0.00 0.00 0.18 0.00 0.00

time (sec)

N/A 0.317 10.009 4.514 0.000 0.000 0.584 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 77 17 14 0 32 29 0 12

N.S.

1 1.07 0.24 0.19 0.00 0.44 0.40 0.00 0.17

time (sec)

N/A 0.165 3.090 4.251 0.000 0.102 0.420 0.000 5.459

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 46 15 12 0 27 31 0 10

N.S.

1 1.12 0.37 0.29 0.00 0.66 0.76 0.00 0.24

time (sec)

N/A 0.169 3.243 4.171 0.000 0.078 0.437 0.000 5.445

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 35 22 19 23 23 42 23 18

N.S.

1 1.13 0.71 0.61 0.74 0.74 1.35 0.74 0.58

time (sec)

N/A 0.172 0.017 3.988 0.188 0.330 0.134 0.303 5.524

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 24 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.85 0.69 0.69

time (sec)

N/A 0.143 0.011 3.997 0.207 0.269 0.076 0.298 5.566

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 44 50 30 75 45 51 39 0

N.S.

1 1.10 1.25 0.75 1.88 1.12 1.28 0.98 0.00

time (sec)

N/A 0.163 0.114 4.042 0.268 0.242 0.812 0.307 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 37 35 28 58 29 88 29 0

N.S.

1 1.06 1.00 0.80 1.66 0.83 2.51 0.83 0.00

time (sec)

N/A 0.161 0.075 4.045 0.194 0.251 0.890 0.322 0.000

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 48 14 0 26 29 0 12

N.S.

1 1.00 0.83 0.24 0.00 0.45 0.50 0.00 0.21

time (sec)

N/A 0.174 2.570 4.119 0.000 0.091 0.375 0.000 5.438

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 39 12 0 21 31 0 10

N.S.

1 1.00 1.56 0.48 0.00 0.84 1.24 0.00 0.40

time (sec)

N/A 0.149 2.624 4.161 0.000 0.079 0.406 0.000 5.428

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 61 39 36 47 35 68 47 36

N.S.

1 1.03 0.66 0.61 0.80 0.59 1.15 0.80 0.61

time (sec)

N/A 0.191 0.026 4.660 0.185 0.267 0.368 0.321 5.548

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 27 24 30 23 42 30 24

N.S.

1 1.05 0.71 0.63 0.79 0.61 1.11 0.79 0.63

time (sec)

N/A 0.181 0.020 4.307 0.196 0.258 0.244 0.320 5.590

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 22 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.22 0.78 0.78

time (sec)

N/A 0.150 0.013 4.301 0.196 0.273 0.092 0.302 5.511

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 20 37 63 22 23 19

N.S.

1 1.00 1.00 0.74 1.37 2.33 0.81 0.85 0.70

time (sec)

N/A 0.163 0.021 4.330 0.284 0.263 0.533 0.305 5.707

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 49 50 43 68 107 46 51 38

N.S.

1 0.98 1.00 0.86 1.36 2.14 0.92 1.02 0.76

time (sec)

N/A 0.178 0.045 4.292 0.283 0.285 1.188 0.289 5.918

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 57 54 43 81 101 46 44 0

N.S.

1 1.08 1.02 0.81 1.53 1.91 0.87 0.83 0.00

time (sec)

N/A 0.179 0.133 4.512 0.273 0.297 1.175 0.304 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 31 23 45 63 20 25 0

N.S.

1 1.00 1.03 0.77 1.50 2.10 0.67 0.83 0.00

time (sec)

N/A 0.156 0.206 4.506 0.347 0.260 0.507 0.311 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 20 31 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.95 1.48 0.81

time (sec)

N/A 0.140 0.121 4.397 0.266 0.268 0.375 0.296 5.728

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 26 35 27 44 59 25

N.S.

1 1.00 0.70 0.59 0.80 0.61 1.00 1.34 0.57

time (sec)

N/A 0.166 0.142 4.512 0.238 0.256 0.529 0.294 5.817

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 52 38 298 83 38

N.S.

1 1.09 0.62 0.57 0.76 0.56 4.38 1.22 0.56

time (sec)

N/A 0.197 0.178 4.941 0.216 0.287 0.821 0.308 5.929

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 138 79 103 0 56 37 0 0

N.S.

1 1.06 0.61 0.79 0.00 0.43 0.28 0.00 0.00

time (sec)

N/A 0.227 10.017 4.384 0.000 0.094 0.519 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 62 91 0 45 37 0 0

N.S.

1 1.00 0.57 0.84 0.00 0.42 0.34 0.00 0.00

time (sec)

N/A 0.207 10.024 4.328 0.000 0.076 0.462 0.000 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 74 70 0 29 36 0 37

N.S.

1 1.00 0.84 0.80 0.00 0.33 0.41 0.00 0.42

time (sec)

N/A 0.180 10.031 4.212 0.000 0.076 0.409 0.000 5.620

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 51 93 0 48 41 0 0

N.S.

1 1.00 0.46 0.85 0.00 0.44 0.37 0.00 0.00

time (sec)

N/A 0.199 10.009 4.322 0.000 0.084 0.518 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 140 51 105 0 60 44 0 0

N.S.

1 1.06 0.39 0.80 0.00 0.45 0.33 0.00 0.00

time (sec)

N/A 0.229 10.012 4.341 0.000 0.081 0.621 0.000 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 273 80 125 0 104 37 0 0

N.S.

1 1.05 0.31 0.48 0.00 0.40 0.14 0.00 0.00

time (sec)

N/A 0.352 10.043 4.524 0.000 0.096 0.565 0.000 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 243 64 115 0 89 37 0 0

N.S.

1 1.03 0.27 0.49 0.00 0.38 0.16 0.00 0.00

time (sec)

N/A 0.305 10.021 4.358 0.000 0.081 0.484 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 213 51 97 0 74 37 0 0

N.S.

1 1.01 0.24 0.46 0.00 0.35 0.18 0.00 0.00

time (sec)

N/A 0.275 10.013 4.096 0.000 0.082 0.441 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 238 49 115 0 71 39 0 40

N.S.

1 1.03 0.21 0.50 0.00 0.31 0.17 0.00 0.17

time (sec)

N/A 0.311 10.014 4.267 0.000 0.080 0.486 0.000 5.552

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 268 51 123 0 89 44 0 0

N.S.

1 1.03 0.20 0.47 0.00 0.34 0.17 0.00 0.00

time (sec)

N/A 0.336 10.013 4.437 0.000 0.085 0.564 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 64 40 37 50 36 70 61 38

N.S.

1 1.03 0.65 0.60 0.81 0.58 1.13 0.98 0.61

time (sec)

N/A 0.192 0.044 4.547 0.188 0.267 0.356 0.300 5.498

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 42 29 25 32 24 44 32 24

N.S.

1 1.05 0.72 0.62 0.80 0.60 1.10 0.80 0.60

time (sec)

N/A 0.183 0.033 4.346 0.185 0.261 0.231 0.295 5.416

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 16 15 15 24 15 15

N.S.

1 1.00 1.00 0.84 0.79 0.79 1.26 0.79 0.79

time (sec)

N/A 0.147 0.019 4.330 0.198 0.263 0.092 0.293 5.580

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 39 65 53 24 20

N.S.

1 1.00 1.00 0.75 1.39 2.32 1.89 0.86 0.71

time (sec)

N/A 0.162 0.032 4.383 0.285 0.254 0.571 0.292 6.047

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 52 44 71 112 129 54 40

N.S.

1 1.00 1.00 0.85 1.37 2.15 2.48 1.04 0.77

time (sec)

N/A 0.180 0.089 4.321 0.290 0.267 1.259 0.299 5.959

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 59 61 44 62 116 128 53 0

N.S.

1 1.07 1.11 0.80 1.13 2.11 2.33 0.96 0.00

time (sec)

N/A 0.189 0.228 4.947 0.278 0.264 1.232 0.295 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 37 24 23 76 53 30 0

N.S.

1 1.00 1.19 0.77 0.74 2.45 1.71 0.97 0.00

time (sec)

N/A 0.164 0.151 4.434 0.287 0.260 0.544 0.303 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 18 51 36 18

N.S.

1 1.00 1.00 0.86 0.82 0.82 2.32 1.64 0.82

time (sec)

N/A 0.142 0.178 4.560 0.212 0.275 0.399 0.291 5.681

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 32 27 36 26 189 68 26

N.S.

1 1.00 0.70 0.59 0.78 0.57 4.11 1.48 0.57

time (sec)

N/A 0.167 0.227 4.850 0.196 0.263 0.577 0.305 5.843

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 77 43 40 55 39 609 97 39

N.S.

1 1.08 0.61 0.56 0.77 0.55 8.58 1.37 0.55

time (sec)

N/A 0.201 0.278 4.946 0.191 0.264 1.411 0.306 6.217

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 80 98 0 58 39 0 0

N.S.

1 1.08 0.80 0.98 0.00 0.58 0.39 0.00 0.00

time (sec)

N/A 0.218 10.028 4.283 0.000 0.108 0.541 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 64 86 0 46 39 0 0

N.S.

1 1.00 0.83 1.12 0.00 0.60 0.51 0.00 0.00

time (sec)

N/A 0.190 10.030 4.163 0.000 0.092 0.480 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 72 64 0 26 37 0 38

N.S.

1 1.00 1.36 1.21 0.00 0.49 0.70 0.00 0.72

time (sec)

N/A 0.172 10.045 4.012 0.000 0.083 0.435 0.000 5.742

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 52 88 0 47 42 0 0

N.S.

1 1.00 0.66 1.11 0.00 0.59 0.53 0.00 0.00

time (sec)

N/A 0.191 10.014 4.243 0.000 0.084 0.582 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 110 52 100 0 59 46 0 0

N.S.

1 1.08 0.51 0.98 0.00 0.58 0.45 0.00 0.00

time (sec)

N/A 0.220 10.015 4.554 0.000 0.084 0.630 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 170 81 117 0 105 39 0 0

N.S.

1 1.08 0.51 0.74 0.00 0.66 0.25 0.00 0.00

time (sec)

N/A 0.356 10.052 4.509 0.000 0.092 0.589 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 139 66 107 0 89 39 0 0

N.S.

1 1.03 0.49 0.79 0.00 0.66 0.29 0.00 0.00

time (sec)

N/A 0.318 10.022 4.319 0.000 0.083 0.505 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 52 88 0 76 39 0 0

N.S.

1 1.00 0.48 0.81 0.00 0.70 0.36 0.00 0.00

time (sec)

N/A 0.280 10.016 4.062 0.000 0.080 0.451 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 135 50 106 0 68 41 0 41

N.S.

1 1.05 0.39 0.83 0.00 0.53 0.32 0.00 0.32

time (sec)

N/A 0.306 10.022 4.252 0.000 0.097 0.483 0.000 5.709

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 166 52 115 0 84 39 0 0

N.S.

1 1.05 0.33 0.73 0.00 0.53 0.25 0.00 0.00

time (sec)

N/A 0.347 10.017 4.553 0.000 0.091 0.615 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 59 38 35 47 46 68 52 41

N.S.

1 1.04 0.67 0.61 0.82 0.81 1.19 0.91 0.72

time (sec)

N/A 0.191 0.049 4.310 0.191 0.273 0.407 0.314 5.648

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 27 24 30 35 41 33 21

N.S.

1 1.00 0.71 0.63 0.79 0.92 1.08 0.87 0.55

time (sec)

N/A 0.173 0.044 4.274 0.189 0.269 0.269 0.295 5.612

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 24 26 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.33 1.44 0.78 0.78

time (sec)

N/A 0.141 0.023 4.287 0.193 0.255 0.106 0.288 5.559

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 44 52 129 184 41 34

N.S.

1 1.00 1.00 0.96 1.13 2.80 4.00 0.89 0.74

time (sec)

N/A 0.174 0.080 4.304 0.268 0.286 0.901 0.301 5.694

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 60 62 86 173 76 72 53

N.S.

1 1.07 0.87 0.90 1.25 2.51 1.10 1.04 0.77

time (sec)

N/A 0.188 0.110 4.413 0.296 0.270 1.751 0.297 5.853

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 82 63 61 103 167 75 55 0

N.S.

1 1.11 0.85 0.82 1.39 2.26 1.01 0.74 0.00

time (sec)

N/A 0.204 0.324 4.869 0.301 0.284 1.759 0.309 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 51 53 42 63 138 44 43 0

N.S.

1 0.98 1.02 0.81 1.21 2.65 0.85 0.83 0.00

time (sec)

N/A 0.179 0.242 4.739 0.288 0.290 0.893 0.304 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 26 20 17 17

N.S.

1 1.00 1.00 0.86 0.81 1.24 0.95 0.81 0.81

time (sec)

N/A 0.143 0.183 4.458 0.210 0.251 0.355 0.289 5.470

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 31 26 36 37 46 53 25

N.S.

1 1.00 0.74 0.62 0.86 0.88 1.10 1.26 0.60

time (sec)

N/A 0.168 0.501 4.639 0.205 0.259 0.484 0.301 5.554

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 72 42 37 56 50 233 115 70

N.S.

1 1.06 0.62 0.54 0.82 0.74 3.43 1.69 1.03

time (sec)

N/A 0.196 0.378 4.807 0.202 0.268 0.773 0.311 5.731

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 167 79 133 0 88 37 0 0

N.S.

1 1.11 0.52 0.88 0.00 0.58 0.25 0.00 0.00

time (sec)

N/A 0.255 10.041 5.316 0.000 0.085 0.681 0.000 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 137 66 111 0 75 37 0 0

N.S.

1 1.06 0.51 0.86 0.00 0.58 0.29 0.00 0.00

time (sec)

N/A 0.247 10.023 5.062 0.000 0.081 0.527 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 55 94 0 62 37 0 0

N.S.

1 1.00 0.51 0.87 0.00 0.57 0.34 0.00 0.00

time (sec)

N/A 0.206 8.306 4.140 0.000 0.080 0.455 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 55 94 0 64 36 0 37

N.S.

1 1.00 0.51 0.87 0.00 0.59 0.33 0.00 0.34

time (sec)

N/A 0.196 7.075 4.103 0.000 0.101 0.473 0.000 6.080

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 139 54 113 0 79 41 0 0

N.S.

1 1.06 0.41 0.86 0.00 0.60 0.31 0.00 0.00

time (sec)

N/A 0.229 10.014 5.092 0.000 0.091 0.561 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 169 54 135 0 93 44 0 0

N.S.

1 1.10 0.35 0.88 0.00 0.61 0.29 0.00 0.00

time (sec)

N/A 0.252 10.026 5.193 0.000 0.084 0.734 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 302 80 157 0 145 37 0 0

N.S.

1 1.07 0.28 0.56 0.00 0.51 0.13 0.00 0.00

time (sec)

N/A 0.380 10.047 5.916 0.000 0.091 0.784 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 272 66 137 0 131 37 0 0

N.S.

1 1.05 0.26 0.53 0.00 0.51 0.14 0.00 0.00

time (sec)

N/A 0.332 10.027 5.585 0.000 0.099 0.607 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 242 57 119 0 113 37 0 0

N.S.

1 1.03 0.24 0.50 0.00 0.48 0.16 0.00 0.00

time (sec)

N/A 0.309 10.019 4.309 0.000 0.086 0.489 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 242 54 119 0 98 37 0 0

N.S.

1 1.01 0.23 0.50 0.00 0.41 0.15 0.00 0.00

time (sec)

N/A 0.291 7.766 4.128 0.000 0.085 0.434 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

260 267 52 137 0 109 39 0 40

N.S.

1 1.03 0.20 0.53 0.00 0.42 0.15 0.00 0.15

time (sec)

N/A 0.328 10.018 4.811 0.000 0.096 0.518 0.000 5.666

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 297 54 157 0 132 44 0 0

N.S.

1 1.05 0.19 0.56 0.00 0.47 0.16 0.00 0.00

time (sec)

N/A 0.373 10.014 5.495 0.000 0.094 0.646 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 135 72 123 0 101 36 0 37

N.S.

1 1.06 0.57 0.97 0.00 0.80 0.28 0.00 0.29

time (sec)

N/A 0.218 10.041 4.077 0.000 0.102 0.537 0.000 5.508

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 48 27 23 34 23 41 41 23

N.S.

1 1.04 0.59 0.50 0.74 0.50 0.89 0.89 0.50

time (sec)

N/A 0.189 0.031 4.204 0.189 0.276 0.214 0.289 5.506

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 33 22 17 23 16 24 23 16

N.S.

1 1.06 0.71 0.55 0.74 0.52 0.77 0.74 0.52

time (sec)

N/A 0.172 0.022 4.066 0.189 0.276 0.120 0.284 5.515

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 11 10 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.67 0.73 0.73

time (sec)

N/A 0.143 0.014 4.155 0.195 0.267 0.069 0.289 5.656

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 29 29 24 31 12

N.S.

1 1.00 1.00 0.81 1.81 1.81 1.50 1.94 0.75

time (sec)

N/A 0.152 0.026 4.362 0.203 0.263 0.510 0.283 5.536

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 28 43 50 73 45 27

N.S.

1 1.00 1.00 0.80 1.23 1.43 2.09 1.29 0.77

time (sec)

N/A 0.161 0.053 4.256 0.187 0.268 1.051 0.288 5.545

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 31 27 22 44 33 61 21 0

N.S.

1 1.15 1.00 0.81 1.63 1.22 2.26 0.78 0.00

time (sec)

N/A 0.154 0.150 4.112 0.287 0.277 1.002 0.323 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 16 18 19 6 16

N.S.

1 1.00 1.00 0.88 2.00 2.25 2.38 0.75 2.00

time (sec)

N/A 0.142 0.002 4.063 0.277 0.268 0.474 0.298 0.165

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 34 35 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.89 1.94 0.78

time (sec)

N/A 0.143 0.138 4.201 0.190 0.263 0.361 0.300 5.473

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 25 22 29 21 63 73 21

N.S.

1 1.00 0.68 0.59 0.78 0.57 1.70 1.97 0.57

time (sec)

N/A 0.163 0.167 4.242 0.185 0.272 0.468 0.296 5.458

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 60 30 27 43 26 104 109 26

N.S.

1 1.09 0.55 0.49 0.78 0.47 1.89 1.98 0.47

time (sec)

N/A 0.186 0.187 4.249 0.199 0.263 0.672 0.285 5.540

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 48 42 15 0 29 31 0 0

N.S.

1 1.12 0.98 0.35 0.00 0.67 0.72 0.00 0.00

time (sec)

N/A 0.177 10.021 4.644 0.000 0.090 0.453 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 32 15 0 21 31 0 0

N.S.

1 1.00 1.28 0.60 0.00 0.84 1.24 0.00 0.00

time (sec)

N/A 0.157 10.012 4.432 0.000 0.084 0.383 0.000 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 12 0 4 29 0 10

N.S.

1 1.00 1.00 3.00 0.00 1.00 7.25 0.00 2.50

time (sec)

N/A 0.138 10.057 4.105 0.000 0.075 0.351 0.000 5.445

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 20 15 0 25 34 0 0

N.S.

1 1.00 0.74 0.56 0.00 0.93 1.26 0.00 0.00

time (sec)

N/A 0.158 10.007 4.392 0.000 0.083 0.465 0.000 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 50 20 15 0 33 37 0 0

N.S.

1 1.11 0.44 0.33 0.00 0.73 0.82 0.00 0.00

time (sec)

N/A 0.197 10.008 4.652 0.000 0.082 0.546 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 57 43 15 0 47 31 0 0

N.S.

1 1.08 0.81 0.28 0.00 0.89 0.58 0.00 0.00

time (sec)

N/A 0.246 10.028 4.738 0.000 0.080 0.503 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 34 34 15 0 40 31 0 0

N.S.

1 0.97 0.97 0.43 0.00 1.14 0.89 0.00 0.00

time (sec)

N/A 0.207 10.018 4.450 0.000 0.092 0.438 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 20 15 0 34 31 0 0

N.S.

1 1.00 1.82 1.36 0.00 3.09 2.82 0.00 0.00

time (sec)

N/A 0.167 10.010 4.243 0.000 0.082 0.374 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 18 15 0 28 32 0 13

N.S.

1 1.00 0.67 0.56 0.00 1.04 1.19 0.00 0.48

time (sec)

N/A 0.191 10.007 4.309 0.000 0.079 0.394 0.000 5.691

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 50 20 15 0 41 37 0 0

N.S.

1 0.94 0.38 0.28 0.00 0.77 0.70 0.00 0.00

time (sec)

N/A 0.211 10.009 4.470 0.000 0.084 0.491 0.000 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 46 25 22 32 28 54 32 25

N.S.

1 1.10 0.60 0.52 0.76 0.67 1.29 0.76 0.60

time (sec)

N/A 0.178 0.038 4.119 0.191 0.244 0.302 0.285 5.823

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 20 17 23 23 34 23 16

N.S.

1 1.00 0.65 0.55 0.74 0.74 1.10 0.74 0.52

time (sec)

N/A 0.176 0.028 4.194 0.198 0.258 0.205 0.276 5.828

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 18 10 11 11

N.S.

1 1.00 1.00 0.80 0.73 1.20 0.67 0.73 0.73

time (sec)

N/A 0.147 0.017 4.320 0.184 0.273 0.157 0.278 5.825

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 30 25 40 58 228 42 24

N.S.

1 1.00 0.94 0.78 1.25 1.81 7.12 1.31 0.75

time (sec)

N/A 0.167 0.048 4.154 0.187 0.264 0.794 0.418 5.706

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 53 41 35 61 78 95 63 38

N.S.

1 1.06 0.82 0.70 1.22 1.56 1.90 1.26 0.76

time (sec)

N/A 0.176 0.082 4.161 0.194 0.292 1.478 0.370 5.886

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 49 32 27 60 52 82 33 0

N.S.

1 1.09 0.71 0.60 1.33 1.16 1.82 0.73 0.00

time (sec)

N/A 0.178 0.213 4.138 0.287 0.269 1.545 0.376 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 26 26 22 31 46 46 28 0

N.S.

1 0.96 0.96 0.81 1.15 1.70 1.70 1.04 0.00

time (sec)

N/A 0.160 0.172 4.179 0.303 0.290 0.773 0.301 0.000

[next] [prev] [prev-tail] [front] [up]